- semantical analysis
- семантический анализ, содержательный анализ
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
semantical analysis
Смотреть что такое "semantical analysis" в других словарях:
Analysis — (from Greek ἀνάλυσις , a breaking up ) is the process of breaking a complex topic or substance into smaller parts to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle,… … Wikipedia
Saul Kripke — Kripke en 2005. Saul Aaron Kripke (1940, Omaha, Nebraska) es un filósofo y lógico estadounidense. Actualmente es profesor emérito de la Universidad de Princeton. Kripke ha realizado importantes y originales contribuciones en diversos campos… … Wikipedia Español
Крипке, Сол Аарон — Сол Крипке Дата рождения: 13 ноября 1940(1940 11 13) (72 года) … Википедия
Saul Kripke — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE name = Saul Kripke birth = birth date and age|1940|11|13 death = school tradition = Analytic main interests = Logic (particularly modal) Philosophy of… … Wikipedia
Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… … Wikipedia Español
Impossible world — In philosophical logic, the concept of an impossible world (sometimes non normal world) is used to model certain phenomena that cannot be adequately handled using ordinary possible worlds. An impossible world, w, is the same sort of thing as a… … Wikipedia
Kripke, Saul Aaron — (1940– ) American logician and philosopher. Born in New York, and educated at Harvard and Oxford, Kripke made his early reputation as a logical prodigy, especially through work on the completeness of systems of modal logic. The three classic… … Philosophy dictionary
Higher-order abstract syntax — In computer science, higher order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.Relation to first order abstract syntaxAn abstract syntax tree is abstract… … Wikipedia
positivism — positivist, adj., n. positivistic, adj. positivistically, adv. /poz i teuh viz euhm/, n. 1. the state or quality of being positive; definiteness; assurance. 2. a philosophical system founded by Auguste Comte, concerned with positive facts and… … Universalium
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… … Wikipedia
